Finite model theory - PDFSEARCH.IO - Document Search Engine

Finite model theory
Results: 870

#	Item
111	12RT5056_STEM_evrgrnGuide_2012.indd Add to Reading List Source URL: mathalive.com Language: English - Date: 2012-11-07 11:59:14 IP XTR Zoetrope Mathematics Applied mathematics FO Finite model theory
112	Improved Security Analyses for CBC MACs Mihir Bellare University of California, San Diego Krzysztof Pietrzak ETH Z¨urich Phillip Rogaway Add to Reading List Source URL: www.iacr.org Language: English - Date: 2005-08-31 11:29:11 Mathematics FO Finite model theory Pi
113	A Efficiently Deciding µ-calculus with Converse over Finite Trees ` , CNRS Pierre Geneves Nabil Laya¨ıda, Inria Alan Schmitt, Inria Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2015-02-04 13:59:05 Formal languages Logical syntax Model theory Linear temporal logic Well-formed formula Interpretation Function Computation tree logic Logic programming Logic Metalogic Temporal logic
114	XPath Typing Using a Modal Logic with Converse for Finite Trees Pierre Genev`es Nabil Laya¨ıda Alan Schmitt Add to Reading List Source URL: wam.inrialpes.fr Language: English - Date: 2006-12-17 11:49:32 Mathematical logic XML Formal languages Metalogic Interpretation First-order logic Well-formed formula Symbol XPath Logic Mathematics Model theory
115	Unprovability of Lower Bounds on Circuit Size in Certain Fragments of Bounded Arithmetic Alexander A. Razborov∗ School of Mathematics Institute for Advanced Study Princeton, NJ 08540 Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2012-01-03 04:10:15 Mathematics FO Finite model theory Symbol
116	The Relative Pruning Power of Strong Stubborn Sets and Expansion Core Martin Wehrle and Malte Helmert ¨ Yusra Alkhazraji and Robert Mattmuller Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-04-30 16:52:25 FO Finite model theory Big O notation Operator Assignment Modal logic Linguistics Logic Mathematics Mathematical notation
117	Efficient Stubborn Sets: Generalized Algorithms and Selection Strategies Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-03-07 07:46:37 Pruning Determinacy Mathematics Applied mathematics FO Finite model theory Sheaf
118	Planning as Model Checking in Hybrid Domains Sergiy Bogomolov Daniele Magazzeni Andreas Podelski Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-07-02 05:16:10 Automated planning and scheduling Planning Domain Definition Language Theoretical computer science Models of computation Hybrid automaton Formal languages Finite-state machine Hybrid system Alphabet Automata theory Differential equations Mathematics
119	ＮＥＷＳＲＥＬＥＡＳＥ Feb ruar y 1 , 20 12 Ot suka Foods Co., Ltd. Otsuka Foods Releases Three Varieties of Ginza Rokusantei Michiba-Style Spicy Seasonings — Sichuan, Add to Reading List Source URL: www.otsukafoods.co.jp Language: English - Date: 2012-02-01 02:09:17 FO Finite model theory
120	Automated Grading of DFA Constructions Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-05-16 00:14:15 Model theory Models of computation Formal languages Abstraction Metalogic Deterministic finite automaton Nondeterministic finite automaton Interpretation DFA minimization Automata theory Mathematics Logic

UPDATE